hole equivalence

空穴等价性